A Pi-Calculus based Framework for the Composition and Replacement of Components
نویسنده
چکیده
! " $# &%' " ()! * + , ( .#/ 0#/ 1# 2 " 3 4 /5 (1 * 6879 : -; < 0(=#/ 1> ? 4 ( . 9 "! 1 , !?; 1 @ ! A /5 1; 9 B; =#/ C 6D 4 (1 > (E 1 ? 0(1 "F > :# G#A H! $; 1 1>' (1 I; =; 1 J2 3%I , 1 K * #A!* :! 1 # G 5 H > ( #/LM (1 N ?F * " O 5 6EP *! 9; 1 Q#) * " R#/ =;S! F # 9 $# T2=# * ;@ ) (1 :UVFW $#/ 1 1 KX# $%' 1>Q 1 * "5Y @ * " #/ =;Z [! # * # 2 ! # 9 # =;
منابع مشابه
Research on Component Composition and Replacement with Formal Semantics
Based on the notion of ‘design by contract’, components interaction patterns and process patterns of component composition, formal semantics of components are proposed. With this basis and inspired by typing system and process construction methods in π -calculus, in this paper, a formal typing framework for the composition and replacement of components are proposed. Additionally, rules about co...
متن کاملExtending the Qualitative Trajectory Calculus Based on the Concept of Accessibility of Moving Objects in the Paths
Qualitative spatial representation and reasoning are among the important capabilities in intelligent geospatial information system development. Although a large contribution to the study of moving objects has been attributed to the quantitative use and analysis of data, such calculations are ineffective when there is little inaccurate data on position and geometry or when explicitly explaining ...
متن کاملA Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies
In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...
متن کاملA Multi-Formalism Modeling Framework: Formal Definitions, Model Composition and Solution Strategies
In this paper, we present a multi-formalism modeling framework (abbreviated by MFMF) for modeling and simulation. The proposed framework is defined based on the concepts of meta-models and uses object-orientation to overcome the complexities and to enhance the extensibility. The framework can be used as a basis for modeling by various formalisms and to support model composition in a unified man...
متن کاملDesign and formal verification of DZMBE+
In this paper, a new broadcast encryption scheme is presented based on threshold secret sharing and secure multiparty computation. This scheme is maintained to be dynamic in that a broadcaster can broadcast a message to any of the dynamic groups of users in the system and it is also fair in the sense that no cheater is able to gain an unfair advantage over other users. Another important feature...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2001